2007
导演:蒯因
内容提要 本卷包括两部论著:《威拉德·范·奥曼·蒯因自传》(1986)和《数理逻辑》(1940)。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传;后者是蒯因的一部重要的逻辑著作,在其中,他仍然坚持逻辑主义纲领,试图从逻辑中推导出数学,把先前在《数理逻辑的新基础》(1937)一文中提出的NF系统,修改为ML系统,这是一个把命题逻辑、量化理论和集合论集为一身的系统,结构简明、特性奇异。 目录 威拉德·范·奥曼·蒯因自传 数理逻辑 导言 第一章 句子 1 合取、析取和否定 2 条件句 3 多重复合 4 使用和谈论 5 谈论句子的句子 6 准引语 7 括号与黑点 8 归约为三个初始联结词 9 归约为一个初始联结词 10 重言式 11 某些重言的形式 第二章 量化 12 量词 13 公式 14 约束、自由、闭包 15 量化的公理 16 定理 17 ...(展开全部)